Skip to content

Conversation

@misonijnik
Copy link
Collaborator

Fix only-output-states-covering-new and add cover-on-the-fly options.

@codecov-commenter
Copy link

codecov-commenter commented Sep 17, 2023

Codecov Report

Merging #121 (a738ada) into main (f72486f) will increase coverage by 0.54%.
Report is 2 commits behind head on main.
The diff coverage is 83.33%.

❗ Current head a738ada differs from pull request most recent head c1b7529. Consider uploading reports for the commit c1b7529 to get more accurate results

@@            Coverage Diff             @@
##             main     #121      +/-   ##
==========================================
+ Coverage   65.64%   66.18%   +0.54%     
==========================================
  Files         213      214       +1     
  Lines       29020    29495     +475     
  Branches     6437     6522      +85     
==========================================
+ Hits        19049    19521     +472     
+ Misses       7508     7470      -38     
- Partials     2463     2504      +41     
Files Changed Coverage Δ
include/klee/Expr/Constraints.h 50.00% <ø> (ø)
include/klee/Solver/IncompleteSolver.h 100.00% <ø> (ø)
include/klee/Solver/SolverImpl.h 50.00% <ø> (ø)
lib/Core/Executor.h 76.92% <ø> (ø)
lib/Core/ImpliedValue.cpp 0.00% <0.00%> (ø)
lib/Core/StatsTracker.cpp 79.68% <ø> (-0.11%) ⬇️
lib/Core/TimingSolver.h 100.00% <ø> (ø)
lib/Module/Target.cpp 54.83% <ø> (-1.08%) ⬇️
lib/Solver/SolverCmdLine.cpp 100.00% <ø> (ø)
lib/Solver/Z3Builder.cpp 28.57% <0.00%> (ø)
... and 34 more

... and 6 files with indirect coverage changes

@misonijnik misonijnik force-pushed the misonijnik/improve-coverage branch 3 times, most recently from 2af34dc to fcb156f Compare September 17, 2023 16:39
@misonijnik misonijnik force-pushed the misonijnik/improve-coverage branch from fcb156f to c1b7529 Compare September 17, 2023 20:15
@misonijnik misonijnik marked this pull request as ready for review September 17, 2023 20:15
@misonijnik misonijnik merged commit d3344b5 into main Sep 18, 2023
@misonijnik misonijnik deleted the misonijnik/improve-coverage branch September 18, 2023 13:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants